A hybrid neural network for input that is both categorical and quantitativeBROUWER, Roelof K.International journal of intelligent systems. 2004, Vol 19, Num 10, pp 979-1001, issn 0884-8173, 23 p.Article

CBC Based Inter-LMA Route Optimization for the Race Condition ProblemOH, Eunyoung; JEONG, Eunjoo; RYU, Sunme et al.WorldComp'2011wireless networks. International conference. 2011, pp 317-319, isbn 1-60132-187-2, 3 p.Conference Paper

Detecting data races in sequential programs with DIOTARONSSE, Michiel; MAEBE, Jonas; DE BOSSCHERE, Koen et al.Lecture notes in computer science. 2004, pp 82-89, issn 0302-9743, isbn 3-540-22924-8, 8 p.Conference Paper

Towards a conceptual theory of indistinguishable objectsWOLFF, Karl Erich.Lecture notes in computer science. 2004, pp 180-188, issn 0302-9743, isbn 3-540-21043-1, 9 p.Conference Paper

Performance impact of different data value predictorsYONG XIAO; KUN DENG; XINGMING ZHOU et al.Lecture notes in computer science. 2004, pp 414-425, issn 0302-9743, isbn 3-540-23003-3, 12 p.Conference Paper

ANALYZING PARALLEL PROGRAMS WITH PINBACH, Moshe; CHARNEY, Mark; TAL, Ady et al.Computer (Long Beach, CA). 2010, Vol 43, Num 3, pp 34-41, issn 0018-9162, 8 p.Article

Detecting and Tolerating Asymmetric RacesRATANAWORABHAN, Paruj; BURTSCHER, Martin; KIROVSKI, Darko et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 173-184, isbn 978-1-60558-397-6, 1Vol, 12 p.Conference Paper

Detecting unaffected race conditions in message-passing programsPARK, Mi-Young; JUN, Yong-Kee.Lecture notes in computer science. 2004, pp 268-276, issn 0302-9743, isbn 3-540-23163-3, 9 p.Conference Paper

Why STM Can Be More Than A Research ToyDRAGOJEVIC, Aleksandar; FELBER, Pascal; GRAMOLI, Vincent et al.Communications of the ACM. 2011, Vol 54, Num 4, pp 70-77, issn 0001-0782, 8 p.Article

Scaling model checking of dataraces using dynamic informationSHACHAM, Ohad; SAGIV, Mooly; SCHUSTER, Assaf et al.Journal of parallel and distributed computing (Print). 2007, Vol 67, Num 5, pp 536-550, issn 0743-7315, 15 p.Article

Committing Conflicting Transactions in an STMRAMADAN, Hany E; ROY, Indrajit; HERLIHY, Maurice et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 163-171, isbn 978-1-60558-397-6, 1Vol, 9 p.Conference Paper

Associating synchronization constraints with data in an object-oriented languageVAZIRI, Mandana; TIP, Frank; DOLBY, Julian et al.ACM SIGPLAN notices. 2006, Vol 41, Num 1, pp 334-345, issn 1523-2867, 12 p.Conference Paper

Existential label flow inference via CFL reachabilityPRATIKAKIS, Polyvios; FOSTER, Jeffrey S; HICKS, Michael et al.Lecture notes in computer science. 2006, pp 88-106, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 19 p.Conference Paper

A serializability violation detector for shared-memory server programsMIN XU; BODIK, Rastislav; HILL, Mark D et al.ACM SIGPLAN notices. 2005, Vol 40, Num 6, pp 1-14, issn 1523-2867, 14 p.Conference Paper

Assuring and evolving concurrent programs: Annotations and policyGREENHOUSE, Aaron; SCHERLIS, William L.Proceedings - International Conference on Software Engineering. 2002, pp 453-463, issn 0270-5257, isbn 1-58113-472-X, 11 p.Conference Paper

Mining Temporal Invariants from Partially Ordered LogsBESCHASTNIKH, Ivan; BRUN, Yuriy; ERNST, Michael D et al.Operating systems review. 2011, Vol 45, Num 3, pp 39-46, issn 0163-5980, 8 p.Conference Paper

A Time-Aware Type System For Data-Race Protection and Guaranteed InitializationMATSAKIS, Nicholas D; GROSS, Thomas R.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 634-651, issn 1523-2867, 18 p.Conference Paper

A Comprehensive Strategy for Contention Management in Software Transactional MemorySPEAR, Michael F; DALESSANDRO, Luke; MARATHE, Virendra J et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 141-150, isbn 978-1-60558-397-6, 1Vol, 10 p.Conference Paper

Context-oriented Software Transactional Memory in Common LispCOSTANZA, Pascal; HERZEEL, Charlotte; D'HONDT, Theo et al.ACM SIGPLAN notices. 2009, Vol 44, Num 12, pp 59-68, issn 1523-2867, 10 p.Conference Paper

Provable STM properties (leveraging clock and locks to favor commit and early abort)Imbs, Damien; Raynal, Michel.Publication interne - IRISA. 2008, Num 1894, issn 1166-8687, 1Vol, 20p.Report

Automatically classifying benign and harmful data races using replay analysisNARAYANASANAY, Satish; ZHENGHAO WANG; TIGANI, Jordan et al.ACM SIGPLAN notices. 2007, Vol 42, Num 6, pp 22-31, issn 1523-2867, 10 p.Conference Paper

Goldilocks : Efficiently computing the happens-before relation using locksetsELMAS, Tayfun; QADEER, Shaz; TASIRAN, Serdar et al.Lecture notes in computer science. 2006, pp 193-208, issn 0302-9743, isbn 978-3-540-49699-1, 1Vol, 16 p.Conference Paper

A Statically Verifiable Programming Model for Concurrent Object-Oriented ProgramsJACOBS, Bart; SMANS, Jan; PIESSENS, Frank et al.Lecture notes in computer science. 2006, pp 420-439, issn 0302-9743, isbn 3-540-47460-9, 1Vol, 20 p.Conference Paper

Bounded model checking of concurrent programsRABINOVITZ, Ishai; GRUMBERG, Orna.Lecture notes in computer science. 2005, pp 82-97, issn 0302-9743, isbn 3-540-27231-3, 16 p.Conference Paper

A practical tool for detecting races in OpenMP programsKIM, Young-Joo; PARK, Mi-Young; PARK, So-Hee et al.Lecture notes in computer science. 2005, pp 321-330, issn 0302-9743, isbn 3-540-28126-6, 10 p.Conference Paper